1.
Specification and Analysis of Concurrent Systems: The COSY Approach - Ryszard Janicki - Hard...
by Janicki, R., Lauer, P. E., ...
ISBN: 9780387552040
List Price: $116.00
2.
Functional Programming, Concurrency, Simulation and Automated Reasoning International Lectur...
by Lauer, P. E.
ISBN: 9780387568836
List Price: $82.95